Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung

The choice of a programming language quite often depends on the problem domain. Examples are the use of object-oriented languages for distributed systems, the use of functional languages in compiler construction, or the use of logical programming languages in artificial intelligence projects. In the extreme case it even makes sense to develop a domain specific language. In larger software projects it is desirable to implement each module in the programming language which is best suited for the specific module’s task. Of course, this raises the question of how to integrate those modules to a coherent, working and efficient overall system. This dissertation focuses on a special case of language integration: the embedding of a language in an existing one. A new embedding-technique is proposed, based on structural type analysis and partial evaluation. In the first part of this thesis a set of three model-languages will be introduced. All these languages are designed to support our new embedding-approach, which will be thoroughly explained. The properties of the model-languages and the restrictions they impose on the guest languages will then be explained in full detail. As a first result, it turns out that many concepts of the model-languages can be simulated in C++ and thus, these languages are well-suited to explain the phenomena of the C++ -Template-Metaprogramming technique. The second part of this thesis analyses the practical relevance of our new embedding technique. We will show how to integrate a functional programming language with lazy evaluation, garbage collection and algebraic datatypes into C++ . We will show that our approach allows for the generation of code that is nearly as efficient as code being generated by established Haskell compilers.